Constructing Hardware/Software Interface Using Protocol Converters
نویسندگان
چکیده
Hardware/software partition is a critical phase in hardware/software co-design. This paper proposes a hybrid partitioning framework, in which we design a set of protocol converters to construct the interface component between the hardware and software components, and reuse the formerly well-built partitioning rules by introducing protocol converters and rewriting them for this hybrid framework. The hardware components generated by our partitioning process are coded directly in Verilog HDL, which will greatly facilitate the further compilation from it down to netlists.
منابع مشابه
Retargeting a hardware compiler proof using protocol converters
We show how to retarget the correctness proof of a hardware compiler generating two-phase delay-insensitive circuits to a compiler generating four-phase speed-independent circuits. We use protocol converters to convert the speciications of our compiler's two-phase circuit elements into equivalent speciications for four-phase elements. The processes of converting the speciications and verifying ...
متن کاملSpace Vector Modulation Based on Classification Method in Three-Phase Multi-Level Voltage Source Inverters
Pulse Width Modulation (PWM) techniques are commonly used to control the output voltage and current of DC to AC converters. Space Vector Modulation (SVM), of all PWM methods, has attracted attention because of its simplicity and desired properties in digital control of Three-Phase inverters. The main drawback of this PWM technique is 
its complex and time-consuming computations in real-time ...
متن کاملSpace Vector Modulation Based on Classification Method in Three-Phase Multi-Level Voltage Source Inverters
Pulse Width Modulation (PWM) techniques are commonly used to control the output voltage and current of DC to AC converters. Space Vector Modulation (SVM), of all PWM methods, has attracted attention because of its simplicity and desired properties in digital control of Three-Phase inverters. The main drawback of this PWM technique is its complex and time-consuming computations in real-time im...
متن کاملAutomated Synthesis of Protocol Converters with BALM-II
We address the problem of the automatic design of automata to translate between different protocols, and we reduce it to the solution of equations defined over regular languages and finite automata (FA)/finite state machines (FSMs). The largest solution of the defined language equations includes all protocol converters that solve the problem; this is a strong advantage over computational techni...
متن کاملDesign Optimization of Discrete Structures Using MPI-enabled Genetic Algorithm Rajan and Nguyen 1 Design Optimization of Discrete Structural Systems Using MPI-enabled Genetic Algorithm
The focus of this paper is on the development and implementation of a genetic algorithm (GA)–based software system using message passing interface (MPI) protocol and library. A customized and improved form of simple GA used in previous research [14] is parallelized. This MPI-enabled version is used to find the solution to finite element based design optimization problems in a network of worksta...
متن کامل